有限体
全ての計算は素数PPP(0≦P<2640≦P<2^{64}0≦P<264)のmodulo演算で行われる
多くの有限体上での割り算と同様に x / y の結果は常に式 (x / y) * y == x を満たす
値が偶数かどうかのチェック:
通常のCPUでは、ある値xに2をかけると、結果は常に偶数になる。これはCairoでは成り立たない。